Nuprl Definition : es-info
0,22
postcript
pdf
es-info(
es
;
e
) == <kind(
e
),(state when
e
),val(
e
)>
latex
clarification:
es-info(
es
;
e
) == <es-kind(
es
;
e
),es-state-when(
es
;
e
),es-val(
es
;
e
)>
latex
Definitions
kind(
e
)
,
(state when
e
)
,
val(
e
)
FDL editor aliases
es-info
origin